(1
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 72)
  ("(var3 stable)" 72 284)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 67)
  ("(var4 stable)" 67 284)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 62)
  ("(var1 stable)" 62 284)
  ("(var2 stable)" 0 57)
  ("(var2 down)" 57 59)
  ("(var2 up)" 59 176)
  ("(var2 down)" 176 178)
  ("(var2 stable)" 178 284)
 )
)
(2
 (
  ("(var3 stable)" 0 33)
  ("(var3 up)" 33 67)
  ("(var3 stable)" 67 298)
  ("(var4 up)" 0 2)
  ("(var4 down)" 2 4)
  ("(var4 stable)" 4 30)
  ("(var4 up)" 30 65)
  ("(var4 stable)" 65 298)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 66)
  ("(var1 down)" 66 68)
  ("(var1 stable)" 68 298)
  ("(var2 stable)" 0 54)
  ("(var2 down)" 54 56)
  ("(var2 stable)" 56 93)
  ("(var2 up)" 93 196)
  ("(var2 stable)" 196 298)
 )
)
(3
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 99)
  ("(var3 stable)" 99 343)
  ("(var4 stable)" 0 68)
  ("(var4 up)" 68 70)
  ("(var4 stable)" 70 72)
  ("(var4 up)" 72 99)
  ("(var4 stable)" 99 343)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 99)
  ("(var1 stable)" 99 343)
  ("(var2 stable)" 0 90)
  ("(var2 down)" 90 92)
  ("(var2 up)" 92 194)
  ("(var2 down)" 194 196)
  ("(var2 up)" 196 200)
  ("(var2 stable)" 200 343)
 )
)
(4
 (
  ("(var3 stable)" 0 64)
  ("(var3 up)" 64 66)
  ("(var3 stable)" 66 68)
  ("(var3 up)" 68 71)
  ("(var3 down)" 71 73)
  ("(var3 up)" 73 97)
  ("(var3 stable)" 97 336)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 96)
  ("(var4 stable)" 96 98)
  ("(var4 up)" 98 104)
  ("(var4 stable)" 104 336)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 71)
  ("(var1 down)" 71 73)
  ("(var1 up)" 73 95)
  ("(var1 stable)" 95 336)
  ("(var2 stable)" 0 88)
  ("(var2 down)" 88 90)
  ("(var2 up)" 90 210)
  ("(var2 stable)" 210 336)
 )
)
(5
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 55)
  ("(var3 stable)" 55 58)
  ("(var3 up)" 58 89)
  ("(var3 stable)" 89 317)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 86)
  ("(var4 stable)" 86 317)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 87)
  ("(var1 stable)" 87 317)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 81)
  ("(var2 up)" 81 83)
  ("(var2 down)" 83 86)
  ("(var2 up)" 86 166)
  ("(var2 down)" 166 168)
  ("(var2 up)" 168 205)
  ("(var2 stable)" 205 317)
 )
)
(6
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 67)
  ("(var3 stable)" 67 307)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 70)
  ("(var4 stable)" 70 307)
  ("(var1 stable)" 0 39)
  ("(var1 up)" 39 41)
  ("(var1 stable)" 41 45)
  ("(var1 up)" 45 70)
  ("(var1 stable)" 70 307)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 stable)" 61 96)
  ("(var2 up)" 96 196)
  ("(var2 down)" 196 198)
  ("(var2 stable)" 198 307)
 )
)
(7
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 89)
  ("(var3 stable)" 89 321)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 89)
  ("(var4 stable)" 89 321)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 87)
  ("(var1 stable)" 87 321)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 82)
  ("(var2 up)" 82 212)
  ("(var2 stable)" 212 321)
 )
)
(8
 (
  ("(var3 stable)" 0 105)
  ("(var3 up)" 105 132)
  ("(var3 stable)" 132 134)
  ("(var3 up)" 134 138)
  ("(var3 stable)" 138 382)
  ("(var4 stable)" 0 103)
  ("(var4 up)" 103 139)
  ("(var4 stable)" 139 382)
  ("(var1 stable)" 0 106)
  ("(var1 up)" 106 132)
  ("(var1 stable)" 132 380)
  ("(var1 down)" 380 382)
  ("(var2 stable)" 0 123)
  ("(var2 down)" 123 127)
  ("(var2 stable)" 127 141)
  ("(var2 up)" 141 143)
  ("(var2 down)" 143 145)
  ("(var2 up)" 145 216)
  ("(var2 stable)" 216 219)
  ("(var2 up)" 219 258)
  ("(var2 stable)" 258 382)
 )
)
(9
 (
  ("(var3 stable)" 0 71)
  ("(var3 up)" 71 98)
  ("(var3 down)" 98 100)
  ("(var3 up)" 100 102)
  ("(var3 stable)" 102 343)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 96)
  ("(var4 stable)" 96 343)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 94)
  ("(var1 stable)" 94 341)
  ("(var1 down)" 341 343)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 stable)" 87 127)
  ("(var2 up)" 127 227)
  ("(var2 stable)" 227 343)
 )
)
(10
 (
  ("(var3 stable)" 0 75)
  ("(var3 up)" 75 108)
  ("(var3 stable)" 108 339)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 79)
  ("(var4 stable)" 79 81)
  ("(var4 up)" 81 104)
  ("(var4 stable)" 104 339)
  ("(var1 stable)" 0 74)
  ("(var1 down)" 74 76)
  ("(var1 up)" 76 106)
  ("(var1 stable)" 106 339)
  ("(var2 stable)" 0 94)
  ("(var2 down)" 94 96)
  ("(var2 stable)" 96 126)
  ("(var2 up)" 126 188)
  ("(var2 stable)" 188 190)
  ("(var2 up)" 190 221)
  ("(var2 stable)" 221 339)
 )
)
(11
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 78)
  ("(var3 stable)" 78 329)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 77)
  ("(var4 stable)" 77 329)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 74)
  ("(var1 stable)" 74 329)
  ("(var2 stable)" 0 69)
  ("(var2 down)" 69 71)
  ("(var2 up)" 71 180)
  ("(var2 down)" 180 182)
  ("(var2 up)" 182 186)
  ("(var2 stable)" 186 329)
 )
)
(12
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 85)
  ("(var3 stable)" 85 87)
  ("(var3 up)" 87 92)
  ("(var3 stable)" 92 326)
  ("(var4 stable)" 0 53)
  ("(var4 up)" 53 92)
  ("(var4 stable)" 92 326)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 85)
  ("(var1 stable)" 85 326)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 84)
  ("(var2 up)" 84 209)
  ("(var2 stable)" 209 326)
 )
)
(13
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 71)
  ("(var3 stable)" 71 313)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 68)
  ("(var4 stable)" 68 313)
  ("(var1 stable)" 0 41)
  ("(var1 up)" 41 70)
  ("(var1 stable)" 70 313)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 183)
  ("(var2 stable)" 183 313)
 )
)
(14
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 61)
  ("(var3 down)" 61 63)
  ("(var3 up)" 63 85)
  ("(var3 stable)" 85 306)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 84)
  ("(var4 stable)" 84 306)
  ("(var1 stable)" 0 59)
  ("(var1 up)" 59 86)
  ("(var1 stable)" 86 306)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 up)" 77 187)
  ("(var2 stable)" 187 306)
 )
)
(15
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 68)
  ("(var3 stable)" 68 70)
  ("(var3 up)" 70 99)
  ("(var3 stable)" 99 309)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 95)
  ("(var4 stable)" 95 98)
  ("(var4 up)" 98 100)
  ("(var4 stable)" 100 309)
  ("(var1 stable)" 0 71)
  ("(var1 up)" 71 96)
  ("(var1 stable)" 96 309)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 stable)" 91 117)
  ("(var2 up)" 117 212)
  ("(var2 stable)" 212 309)
 )
)
(16
 (
  ("(var3 stable)" 0 82)
  ("(var3 up)" 82 87)
  ("(var3 down)" 87 89)
  ("(var3 up)" 89 111)
  ("(var3 stable)" 111 367)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 80)
  ("(var4 up)" 80 110)
  ("(var4 stable)" 110 367)
  ("(var1 up)" 0 2)
  ("(var1 stable)" 2 84)
  ("(var1 up)" 84 110)
  ("(var1 stable)" 110 367)
  ("(var2 stable)" 0 103)
  ("(var2 down)" 103 105)
  ("(var2 up)" 105 236)
  ("(var2 down)" 236 238)
  ("(var2 stable)" 238 367)
 )
)
(17
 (
  ("(var3 stable)" 0 27)
  ("(var3 up)" 27 29)
  ("(var3 stable)" 29 33)
  ("(var3 up)" 33 57)
  ("(var3 stable)" 57 274)
  ("(var4 stable)" 0 30)
  ("(var4 up)" 30 54)
  ("(var4 stable)" 54 274)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 55)
  ("(var1 stable)" 55 274)
  ("(var2 stable)" 0 49)
  ("(var2 down)" 49 51)
  ("(var2 up)" 51 143)
  ("(var2 stable)" 143 274)
 )
)
(18
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 111)
  ("(var3 stable)" 111 351)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 119)
  ("(var4 stable)" 119 351)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 110)
  ("(var1 stable)" 110 351)
  ("(var2 stable)" 0 104)
  ("(var2 down)" 104 106)
  ("(var2 up)" 106 206)
  ("(var2 stable)" 206 210)
  ("(var2 up)" 210 240)
  ("(var2 stable)" 240 351)
 )
)
(19
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 97)
  ("(var3 stable)" 97 323)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 93)
  ("(var4 stable)" 93 323)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 101)
  ("(var1 stable)" 101 323)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 up)" 86 208)
  ("(var2 stable)" 208 323)
 )
)
(20
 (
  ("(var3 stable)" 0 83)
  ("(var3 down)" 83 85)
  ("(var3 up)" 85 121)
  ("(var3 stable)" 121 361)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 121)
  ("(var4 stable)" 121 361)
  ("(var1 stable)" 0 94)
  ("(var1 up)" 94 118)
  ("(var1 stable)" 118 361)
  ("(var2 stable)" 0 109)
  ("(var2 down)" 109 111)
  ("(var2 up)" 111 155)
  ("(var2 down)" 155 157)
  ("(var2 up)" 157 206)
  ("(var2 down)" 206 208)
  ("(var2 up)" 208 222)
  ("(var2 stable)" 222 361)
 )
)
(21
 (
  ("(var3 stable)" 0 58)
  ("(var3 up)" 58 94)
  ("(var3 stable)" 94 96)
  ("(var3 up)" 96 98)
  ("(var3 stable)" 98 317)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 103)
  ("(var4 stable)" 103 317)
  ("(var1 stable)" 0 69)
  ("(var1 down)" 69 71)
  ("(var1 up)" 71 96)
  ("(var1 stable)" 96 317)
  ("(var2 stable)" 0 86)
  ("(var2 down)" 86 88)
  ("(var2 up)" 88 181)
  ("(var2 stable)" 181 183)
  ("(var2 up)" 183 212)
  ("(var2 stable)" 212 317)
 )
)
(22
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 115)
  ("(var3 stable)" 115 341)
  ("(var4 stable)" 0 85)
  ("(var4 up)" 85 113)
  ("(var4 stable)" 113 341)
  ("(var1 stable)" 0 89)
  ("(var1 up)" 89 117)
  ("(var1 stable)" 117 341)
  ("(var2 stable)" 0 108)
  ("(var2 down)" 108 110)
  ("(var2 up)" 110 240)
  ("(var2 stable)" 240 341)
 )
)
(23
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 104)
  ("(var3 stable)" 104 329)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 79)
  ("(var4 stable)" 79 81)
  ("(var4 up)" 81 107)
  ("(var4 stable)" 107 329)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 101)
  ("(var1 stable)" 101 329)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 up)" 97 216)
  ("(var2 stable)" 216 327)
  ("(var2 down)" 327 329)
 )
)
(24
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 43)
  ("(var3 stable)" 43 46)
  ("(var3 up)" 46 71)
  ("(var3 stable)" 71 308)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 80)
  ("(var4 stable)" 80 308)
  ("(var1 stable)" 0 45)
  ("(var1 up)" 45 69)
  ("(var1 down)" 69 71)
  ("(var1 stable)" 71 308)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 197)
  ("(var2 stable)" 197 308)
 )
)
(25
 (
  ("(var3 stable)" 0 83)
  ("(var3 up)" 83 85)
  ("(var3 stable)" 85 87)
  ("(var3 up)" 87 108)
  ("(var3 stable)" 108 363)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 110)
  ("(var4 stable)" 110 363)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 110)
  ("(var1 stable)" 110 363)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 104)
  ("(var2 up)" 104 252)
  ("(var2 stable)" 252 363)
 )
)
(26
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 83)
  ("(var3 stable)" 83 327)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 80)
  ("(var4 stable)" 80 327)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 87)
  ("(var1 stable)" 87 327)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 78)
  ("(var2 stable)" 78 101)
  ("(var2 up)" 101 103)
  ("(var2 stable)" 103 106)
  ("(var2 up)" 106 192)
  ("(var2 stable)" 192 327)
 )
)
(27
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 82)
  ("(var3 stable)" 82 337)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 84)
  ("(var4 stable)" 84 337)
  ("(var1 stable)" 0 51)
  ("(var1 up)" 51 79)
  ("(var1 stable)" 79 337)
  ("(var2 stable)" 0 74)
  ("(var2 down)" 74 76)
  ("(var2 up)" 76 122)
  ("(var2 stable)" 122 124)
  ("(var2 up)" 124 179)
  ("(var2 down)" 179 181)
  ("(var2 up)" 181 229)
  ("(var2 stable)" 229 337)
 )
)
(28
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 106)
  ("(var3 stable)" 106 349)
  ("(var4 stable)" 0 77)
  ("(var4 down)" 77 79)
  ("(var4 up)" 79 103)
  ("(var4 stable)" 103 349)
  ("(var1 stable)" 0 79)
  ("(var1 up)" 79 106)
  ("(var1 stable)" 106 349)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 100)
  ("(var2 up)" 100 230)
  ("(var2 stable)" 230 349)
 )
)
(29
 (
  ("(var3 stable)" 0 89)
  ("(var3 up)" 89 119)
  ("(var3 stable)" 119 354)
  ("(var3 down)" 354 356)
  ("(var4 stable)" 0 84)
  ("(var4 up)" 84 124)
  ("(var4 stable)" 124 356)
  ("(var1 stable)" 0 84)
  ("(var1 up)" 84 117)
  ("(var1 stable)" 117 356)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 up)" 108 206)
  ("(var2 stable)" 206 209)
  ("(var2 up)" 209 242)
  ("(var2 stable)" 242 354)
  ("(var2 down)" 354 356)
 )
)
(30
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 90)
  ("(var3 stable)" 90 339)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 58)
  ("(var4 stable)" 58 60)
  ("(var4 up)" 60 82)
  ("(var4 stable)" 82 339)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 58)
  ("(var1 down)" 58 60)
  ("(var1 up)" 60 84)
  ("(var1 stable)" 84 339)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 80)
  ("(var2 stable)" 80 121)
  ("(var2 up)" 121 202)
  ("(var2 down)" 202 204)
  ("(var2 stable)" 204 339)
 )
)
(31
 (
  ("(var3 stable)" 0 70)
  ("(var3 up)" 70 74)
  ("(var3 down)" 74 76)
  ("(var3 up)" 76 102)
  ("(var3 stable)" 102 357)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 76)
  ("(var4 down)" 76 78)
  ("(var4 up)" 78 100)
  ("(var4 stable)" 100 357)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 101)
  ("(var1 stable)" 101 357)
  ("(var2 stable)" 0 91)
  ("(var2 down)" 91 93)
  ("(var2 stable)" 93 133)
  ("(var2 up)" 133 135)
  ("(var2 down)" 135 137)
  ("(var2 up)" 137 204)
  ("(var2 stable)" 204 357)
 )
)
(32
 (
  ("(var3 stable)" 0 31)
  ("(var3 up)" 31 63)
  ("(var3 stable)" 63 303)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 67)
  ("(var4 stable)" 67 303)
  ("(var1 stable)" 0 36)
  ("(var1 up)" 36 65)
  ("(var1 stable)" 65 303)
  ("(var2 stable)" 0 55)
  ("(var2 down)" 55 57)
  ("(var2 up)" 57 181)
  ("(var2 stable)" 181 303)
 )
)
(33
 (
  ("(var3 stable)" 0 95)
  ("(var3 up)" 95 125)
  ("(var3 stable)" 125 362)
  ("(var4 stable)" 0 91)
  ("(var4 up)" 91 119)
  ("(var4 stable)" 119 362)
  ("(var1 stable)" 0 97)
  ("(var1 up)" 97 122)
  ("(var1 stable)" 122 362)
  ("(var2 stable)" 0 113)
  ("(var2 down)" 113 115)
  ("(var2 up)" 115 235)
  ("(var2 down)" 235 237)
  ("(var2 up)" 237 241)
  ("(var2 down)" 241 243)
  ("(var2 up)" 243 245)
  ("(var2 stable)" 245 362)
 )
)
(34
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 70)
  ("(var3 stable)" 70 287)
  ("(var4 stable)" 0 49)
  ("(var4 up)" 49 68)
  ("(var4 stable)" 68 287)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 68)
  ("(var1 stable)" 68 287)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 stable)" 65 75)
  ("(var2 up)" 75 179)
  ("(var2 stable)" 179 287)
 )
)
(35
 (
  ("(var3 up)" 0 2)
  ("(var3 stable)" 2 35)
  ("(var3 up)" 35 59)
  ("(var3 stable)" 59 275)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 58)
  ("(var4 stable)" 58 60)
  ("(var4 up)" 60 62)
  ("(var4 stable)" 62 275)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 60)
  ("(var1 stable)" 60 275)
  ("(var2 stable)" 0 52)
  ("(var2 down)" 52 54)
  ("(var2 stable)" 54 92)
  ("(var2 up)" 92 172)
  ("(var2 stable)" 172 275)
 )
)
(36
 (
  ("(var3 stable)" 0 96)
  ("(var3 up)" 96 129)
  ("(var3 stable)" 129 131)
  ("(var3 up)" 131 133)
  ("(var3 stable)" 133 374)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 124)
  ("(var4 stable)" 124 374)
  ("(var1 stable)" 0 99)
  ("(var1 up)" 99 119)
  ("(var1 down)" 119 121)
  ("(var1 stable)" 121 374)
  ("(var2 stable)" 0 115)
  ("(var2 down)" 115 117)
  ("(var2 up)" 117 216)
  ("(var2 down)" 216 218)
  ("(var2 up)" 218 255)
  ("(var2 stable)" 255 374)
 )
)
(37
 (
  ("(var3 stable)" 0 78)
  ("(var3 up)" 78 124)
  ("(var3 stable)" 124 366)
  ("(var4 stable)" 0 82)
  ("(var4 up)" 82 84)
  ("(var4 down)" 84 86)
  ("(var4 up)" 86 90)
  ("(var4 stable)" 90 92)
  ("(var4 up)" 92 109)
  ("(var4 stable)" 109 111)
  ("(var4 up)" 111 118)
  ("(var4 stable)" 118 366)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 109)
  ("(var1 down)" 109 111)
  ("(var1 up)" 111 113)
  ("(var1 stable)" 113 366)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 stable)" 107 140)
  ("(var2 up)" 140 241)
  ("(var2 down)" 241 243)
  ("(var2 up)" 243 245)
  ("(var2 stable)" 245 366)
 )
)
(38
 (
  ("(var3 stable)" 0 53)
  ("(var3 up)" 53 85)
  ("(var3 stable)" 85 322)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 90)
  ("(var4 stable)" 90 322)
  ("(var1 stable)" 0 61)
  ("(var1 up)" 61 91)
  ("(var1 stable)" 91 322)
  ("(var2 stable)" 0 78)
  ("(var2 down)" 78 80)
  ("(var2 up)" 80 183)
  ("(var2 down)" 183 185)
  ("(var2 up)" 185 187)
  ("(var2 stable)" 187 322)
 )
)
(39
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 58)
  ("(var3 stable)" 58 290)
  ("(var4 stable)" 0 37)
  ("(var4 up)" 37 64)
  ("(var4 stable)" 64 290)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 63)
  ("(var1 stable)" 63 290)
  ("(var2 stable)" 0 53)
  ("(var2 up)" 53 191)
  ("(var2 stable)" 191 290)
 )
)
(40
 (
  ("(var3 stable)" 0 41)
  ("(var3 up)" 41 45)
  ("(var3 down)" 45 47)
  ("(var3 up)" 47 73)
  ("(var3 stable)" 73 303)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 74)
  ("(var4 stable)" 74 303)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 70)
  ("(var1 stable)" 70 303)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 68)
  ("(var2 up)" 68 182)
  ("(var2 stable)" 182 303)
 )
)
(41
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 72)
  ("(var3 stable)" 72 290)
  ("(var4 stable)" 0 39)
  ("(var4 up)" 39 43)
  ("(var4 down)" 43 45)
  ("(var4 up)" 45 68)
  ("(var4 stable)" 68 290)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 75)
  ("(var1 stable)" 75 290)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 176)
  ("(var2 down)" 176 178)
  ("(var2 up)" 178 180)
  ("(var2 stable)" 180 290)
 )
)
(42
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 91)
  ("(var3 stable)" 91 344)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 93)
  ("(var4 stable)" 93 344)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 74)
  ("(var1 down)" 74 76)
  ("(var1 up)" 76 91)
  ("(var1 stable)" 91 344)
  ("(var2 stable)" 0 83)
  ("(var2 down)" 83 85)
  ("(var2 stable)" 85 122)
  ("(var2 up)" 122 124)
  ("(var2 down)" 124 126)
  ("(var2 up)" 126 195)
  ("(var2 stable)" 195 198)
  ("(var2 up)" 198 200)
  ("(var2 stable)" 200 344)
 )
)
(43
 (
  ("(var3 stable)" 0 76)
  ("(var3 up)" 76 107)
  ("(var3 stable)" 107 349)
  ("(var4 stable)" 0 70)
  ("(var4 up)" 70 107)
  ("(var4 down)" 107 109)
  ("(var4 stable)" 109 349)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 102)
  ("(var1 stable)" 102 349)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 97)
  ("(var2 stable)" 97 101)
  ("(var2 up)" 101 236)
  ("(var2 stable)" 236 349)
 )
)
(44
 (
  ("(var3 stable)" 0 40)
  ("(var3 up)" 40 44)
  ("(var3 down)" 44 46)
  ("(var3 up)" 46 67)
  ("(var3 stable)" 67 289)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 80)
  ("(var4 stable)" 80 289)
  ("(var1 stable)" 0 43)
  ("(var1 up)" 43 66)
  ("(var1 stable)" 66 289)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 stable)" 62 87)
  ("(var2 up)" 87 179)
  ("(var2 stable)" 179 289)
 )
)
(45
 (
  ("(var3 stable)" 0 86)
  ("(var3 up)" 86 118)
  ("(var3 down)" 118 120)
  ("(var3 stable)" 120 371)
  ("(var4 stable)" 0 90)
  ("(var4 down)" 90 92)
  ("(var4 up)" 92 121)
  ("(var4 stable)" 121 371)
  ("(var1 stable)" 0 95)
  ("(var1 up)" 95 119)
  ("(var1 stable)" 119 371)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 stable)" 113 140)
  ("(var2 up)" 140 239)
  ("(var2 down)" 239 241)
  ("(var2 up)" 241 243)
  ("(var2 stable)" 243 371)
 )
)
(46
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 46)
  ("(var3 down)" 46 48)
  ("(var3 up)" 48 81)
  ("(var3 stable)" 81 321)
  ("(var4 stable)" 0 38)
  ("(var4 up)" 38 82)
  ("(var4 stable)" 82 321)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 77)
  ("(var1 down)" 77 80)
  ("(var1 stable)" 80 321)
  ("(var2 stable)" 0 70)
  ("(var2 down)" 70 72)
  ("(var2 up)" 72 210)
  ("(var2 stable)" 210 321)
 )
)
(47
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 81)
  ("(var3 stable)" 81 83)
  ("(var3 up)" 83 99)
  ("(var3 stable)" 99 101)
  ("(var3 up)" 101 105)
  ("(var3 stable)" 105 362)
  ("(var4 stable)" 0 78)
  ("(var4 up)" 78 80)
  ("(var4 stable)" 80 82)
  ("(var4 up)" 82 111)
  ("(var4 down)" 111 113)
  ("(var4 stable)" 113 362)
  ("(var1 stable)" 0 75)
  ("(var1 down)" 75 77)
  ("(var1 up)" 77 108)
  ("(var1 stable)" 108 362)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 101)
  ("(var2 stable)" 101 144)
  ("(var2 up)" 144 233)
  ("(var2 stable)" 233 362)
 )
)
(48
 (
  ("(var3 stable)" 0 54)
  ("(var3 up)" 54 84)
  ("(var3 stable)" 84 308)
  ("(var4 stable)" 0 50)
  ("(var4 up)" 50 53)
  ("(var4 down)" 53 55)
  ("(var4 up)" 55 83)
  ("(var4 stable)" 83 308)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 80)
  ("(var1 stable)" 80 308)
  ("(var2 stable)" 0 75)
  ("(var2 down)" 75 77)
  ("(var2 up)" 77 190)
  ("(var2 down)" 190 192)
  ("(var2 up)" 192 194)
  ("(var2 stable)" 194 308)
 )
)
(49
 (
  ("(var3 stable)" 0 93)
  ("(var3 up)" 93 122)
  ("(var3 down)" 122 124)
  ("(var3 stable)" 124 358)
  ("(var4 stable)" 0 86)
  ("(var4 up)" 86 124)
  ("(var4 stable)" 124 358)
  ("(var1 stable)" 0 86)
  ("(var1 up)" 86 123)
  ("(var1 stable)" 123 358)
  ("(var2 stable)" 0 111)
  ("(var2 down)" 111 113)
  ("(var2 stable)" 113 147)
  ("(var2 up)" 147 237)
  ("(var2 stable)" 237 358)
 )
)
(50
 (
  ("(var3 stable)" 0 80)
  ("(var3 up)" 80 118)
  ("(var3 stable)" 118 348)
  ("(var4 stable)" 0 81)
  ("(var4 up)" 81 83)
  ("(var4 down)" 83 85)
  ("(var4 up)" 85 111)
  ("(var4 stable)" 111 348)
  ("(var1 stable)" 0 82)
  ("(var1 up)" 82 107)
  ("(var1 stable)" 107 348)
  ("(var2 stable)" 0 102)
  ("(var2 down)" 102 106)
  ("(var2 up)" 106 230)
  ("(var2 stable)" 230 348)
 )
)
(51
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 99)
  ("(var3 stable)" 99 321)
  ("(var4 stable)" 0 73)
  ("(var4 up)" 73 96)
  ("(var4 stable)" 96 321)
  ("(var1 stable)" 0 75)
  ("(var1 up)" 75 104)
  ("(var1 stable)" 104 321)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 up)" 91 200)
  ("(var2 down)" 200 202)
  ("(var2 up)" 202 207)
  ("(var2 stable)" 207 321)
 )
)
(52
 (
  ("(var3 stable)" 0 77)
  ("(var3 up)" 77 102)
  ("(var3 stable)" 102 329)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 99)
  ("(var4 stable)" 99 329)
  ("(var1 stable)" 0 76)
  ("(var1 up)" 76 102)
  ("(var1 stable)" 102 329)
  ("(var2 stable)" 0 93)
  ("(var2 down)" 93 95)
  ("(var2 stable)" 95 117)
  ("(var2 up)" 117 214)
  ("(var2 stable)" 214 329)
 )
)
(53
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 109)
  ("(var3 stable)" 109 347)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 109)
  ("(var4 stable)" 109 347)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 104)
  ("(var1 down)" 104 107)
  ("(var1 stable)" 107 347)
  ("(var2 down)" 0 2)
  ("(var2 stable)" 2 95)
  ("(var2 down)" 95 97)
  ("(var2 up)" 97 239)
  ("(var2 stable)" 239 347)
 )
)
(54
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 108)
  ("(var3 down)" 108 111)
  ("(var3 stable)" 111 352)
  ("(var4 stable)" 0 75)
  ("(var4 up)" 75 105)
  ("(var4 stable)" 105 352)
  ("(var1 stable)" 0 78)
  ("(var1 up)" 78 105)
  ("(var1 stable)" 105 348)
  ("(var1 down)" 348 352)
  ("(var2 stable)" 0 92)
  ("(var2 down)" 92 96)
  ("(var2 stable)" 96 131)
  ("(var2 up)" 131 161)
  ("(var2 down)" 161 163)
  ("(var2 up)" 163 246)
  ("(var2 stable)" 246 352)
 )
)
(55
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 75)
  ("(var3 stable)" 75 308)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 68)
  ("(var4 stable)" 68 308)
  ("(var1 stable)" 0 34)
  ("(var1 up)" 34 68)
  ("(var1 stable)" 68 308)
  ("(var2 stable)" 0 62)
  ("(var2 down)" 62 64)
  ("(var2 up)" 64 174)
  ("(var2 stable)" 174 308)
 )
)
(56
 (
  ("(var3 stable)" 0 74)
  ("(var3 up)" 74 77)
  ("(var3 stable)" 77 79)
  ("(var3 up)" 79 107)
  ("(var3 stable)" 107 322)
  ("(var3 down)" 322 324)
  ("(var4 stable)" 0 79)
  ("(var4 up)" 79 104)
  ("(var4 stable)" 104 324)
  ("(var1 stable)" 0 73)
  ("(var1 up)" 73 77)
  ("(var1 down)" 77 79)
  ("(var1 up)" 79 99)
  ("(var1 stable)" 99 324)
  ("(var2 stable)" 0 95)
  ("(var2 down)" 95 97)
  ("(var2 up)" 97 140)
  ("(var2 stable)" 140 142)
  ("(var2 up)" 142 223)
  ("(var2 stable)" 223 324)
 )
)
(57
 (
  ("(var3 stable)" 0 44)
  ("(var3 up)" 44 72)
  ("(var3 stable)" 72 290)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 72)
  ("(var4 stable)" 72 290)
  ("(var1 stable)" 0 49)
  ("(var1 down)" 49 51)
  ("(var1 up)" 51 75)
  ("(var1 stable)" 75 290)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 66)
  ("(var2 up)" 66 156)
  ("(var2 down)" 156 158)
  ("(var2 up)" 158 160)
  ("(var2 stable)" 160 290)
 )
)
(58
 (
  ("(var3 stable)" 0 25)
  ("(var3 up)" 25 62)
  ("(var3 stable)" 62 277)
  ("(var4 stable)" 0 30)
  ("(var4 up)" 30 57)
  ("(var4 stable)" 57 277)
  ("(var1 stable)" 0 33)
  ("(var1 up)" 33 56)
  ("(var1 stable)" 56 277)
  ("(var2 stable)" 0 49)
  ("(var2 down)" 49 51)
  ("(var2 up)" 51 89)
  ("(var2 stable)" 89 91)
  ("(var2 up)" 91 165)
  ("(var2 stable)" 165 277)
 )
)
(59
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 74)
  ("(var3 stable)" 74 322)
  ("(var4 stable)" 0 35)
  ("(var4 up)" 35 79)
  ("(var4 stable)" 79 322)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 74)
  ("(var1 stable)" 74 322)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 108)
  ("(var2 down)" 108 110)
  ("(var2 stable)" 110 112)
  ("(var2 up)" 112 190)
  ("(var2 stable)" 190 192)
  ("(var2 up)" 192 195)
  ("(var2 stable)" 195 322)
 )
)
(60
 (
  ("(var3 stable)" 0 37)
  ("(var3 up)" 37 71)
  ("(var3 stable)" 71 314)
  ("(var4 down)" 0 2)
  ("(var4 stable)" 2 31)
  ("(var4 up)" 31 68)
  ("(var4 stable)" 68 314)
  ("(var1 down)" 0 2)
  ("(var1 stable)" 2 37)
  ("(var1 up)" 37 64)
  ("(var1 stable)" 64 314)
  ("(var2 stable)" 0 58)
  ("(var2 down)" 58 60)
  ("(var2 up)" 60 189)
  ("(var2 stable)" 189 314)
 )
)
(61
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 74)
  ("(var3 stable)" 74 77)
  ("(var3 up)" 77 85)
  ("(var3 stable)" 85 336)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 74)
  ("(var4 stable)" 74 76)
  ("(var4 up)" 76 78)
  ("(var4 stable)" 78 80)
  ("(var4 up)" 80 83)
  ("(var4 stable)" 83 334)
  ("(var4 down)" 334 336)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 74)
  ("(var1 down)" 74 76)
  ("(var1 up)" 76 78)
  ("(var1 stable)" 78 336)
  ("(var2 stable)" 0 64)
  ("(var2 down)" 64 68)
  ("(var2 stable)" 68 113)
  ("(var2 up)" 113 182)
  ("(var2 stable)" 182 334)
  ("(var2 up)" 334 336)
 )
)
(62
 (
  ("(var3 stable)" 0 46)
  ("(var3 up)" 46 82)
  ("(var3 stable)" 82 84)
  ("(var3 up)" 84 86)
  ("(var3 stable)" 86 308)
  ("(var4 stable)" 0 45)
  ("(var4 up)" 45 81)
  ("(var4 stable)" 81 308)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 55)
  ("(var1 down)" 55 57)
  ("(var1 up)" 57 82)
  ("(var1 stable)" 82 308)
  ("(var2 stable)" 0 70)
  ("(var2 down)" 70 74)
  ("(var2 up)" 74 106)
  ("(var2 stable)" 106 110)
  ("(var2 up)" 110 201)
  ("(var2 stable)" 201 308)
 )
)
(63
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 93)
  ("(var3 stable)" 93 314)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 97)
  ("(var4 stable)" 97 314)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 93)
  ("(var1 stable)" 93 314)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 stable)" 86 119)
  ("(var2 up)" 119 200)
  ("(var2 stable)" 200 314)
 )
)
(64
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 120)
  ("(var3 stable)" 120 344)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 117)
  ("(var4 down)" 117 119)
  ("(var4 stable)" 119 344)
  ("(var1 stable)" 0 91)
  ("(var1 down)" 91 93)
  ("(var1 up)" 93 114)
  ("(var1 stable)" 114 344)
  ("(var2 stable)" 0 108)
  ("(var2 down)" 108 110)
  ("(var2 up)" 110 231)
  ("(var2 stable)" 231 344)
 )
)
(65
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 95)
  ("(var3 stable)" 95 338)
  ("(var4 stable)" 0 65)
  ("(var4 up)" 65 72)
  ("(var4 stable)" 72 74)
  ("(var4 up)" 74 98)
  ("(var4 stable)" 98 338)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 95)
  ("(var1 stable)" 95 338)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 up)" 87 216)
  ("(var2 stable)" 216 338)
 )
)
(66
 (
  ("(var3 stable)" 0 49)
  ("(var3 up)" 49 82)
  ("(var3 stable)" 82 323)
  ("(var4 stable)" 0 51)
  ("(var4 up)" 51 56)
  ("(var4 stable)" 56 58)
  ("(var4 up)" 58 84)
  ("(var4 stable)" 84 323)
  ("(var1 stable)" 0 48)
  ("(var1 up)" 48 80)
  ("(var1 stable)" 80 323)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 76)
  ("(var2 stable)" 76 108)
  ("(var2 up)" 108 111)
  ("(var2 stable)" 111 115)
  ("(var2 up)" 115 190)
  ("(var2 down)" 190 192)
  ("(var2 up)" 192 194)
  ("(var2 stable)" 194 323)
 )
)
(67
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 69)
  ("(var3 stable)" 69 289)
  ("(var4 stable)" 0 48)
  ("(var4 up)" 48 74)
  ("(var4 stable)" 74 289)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 69)
  ("(var1 stable)" 69 289)
  ("(var2 stable)" 0 63)
  ("(var2 down)" 63 65)
  ("(var2 up)" 65 183)
  ("(var2 down)" 183 185)
  ("(var2 up)" 185 187)
  ("(var2 stable)" 187 289)
 )
)
(68
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 106)
  ("(var3 stable)" 106 319)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 112)
  ("(var4 stable)" 112 319)
  ("(var1 stable)" 0 85)
  ("(var1 up)" 85 103)
  ("(var1 stable)" 103 319)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 103)
  ("(var2 up)" 103 136)
  ("(var2 stable)" 136 139)
  ("(var2 up)" 139 203)
  ("(var2 stable)" 203 319)
 )
)
(69
 (
  ("(var3 stable)" 0 94)
  ("(var3 up)" 94 96)
  ("(var3 down)" 96 98)
  ("(var3 up)" 98 131)
  ("(var3 stable)" 131 386)
  ("(var4 stable)" 0 99)
  ("(var4 up)" 99 127)
  ("(var4 stable)" 127 386)
  ("(var1 stable)" 0 93)
  ("(var1 up)" 93 126)
  ("(var1 stable)" 126 386)
  ("(var2 stable)" 0 117)
  ("(var2 down)" 117 119)
  ("(var2 stable)" 119 153)
  ("(var2 up)" 153 268)
  ("(var2 stable)" 268 386)
 )
)
(70
 (
  ("(var3 stable)" 0 29)
  ("(var3 up)" 29 31)
  ("(var3 down)" 31 33)
  ("(var3 up)" 33 75)
  ("(var3 stable)" 75 311)
  ("(var4 stable)" 0 34)
  ("(var4 up)" 34 70)
  ("(var4 stable)" 70 311)
  ("(var1 stable)" 0 35)
  ("(var1 up)" 35 65)
  ("(var1 stable)" 65 311)
  ("(var2 stable)" 0 59)
  ("(var2 down)" 59 61)
  ("(var2 up)" 61 168)
  ("(var2 stable)" 168 311)
 )
)
(71
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 100)
  ("(var3 stable)" 100 345)
  ("(var4 stable)" 0 57)
  ("(var4 up)" 57 59)
  ("(var4 stable)" 59 63)
  ("(var4 up)" 63 65)
  ("(var4 stable)" 65 67)
  ("(var4 up)" 67 96)
  ("(var4 stable)" 96 345)
  ("(var1 stable)" 0 57)
  ("(var1 up)" 57 96)
  ("(var1 stable)" 96 345)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 88)
  ("(var2 up)" 88 239)
  ("(var2 stable)" 239 345)
 )
)
(72
 (
  ("(var3 stable)" 0 29)
  ("(var3 up)" 29 58)
  ("(var3 down)" 58 60)
  ("(var3 up)" 60 62)
  ("(var3 stable)" 62 294)
  ("(var4 stable)" 0 27)
  ("(var4 up)" 27 61)
  ("(var4 stable)" 61 294)
  ("(var1 stable)" 0 30)
  ("(var1 up)" 30 58)
  ("(var1 stable)" 58 294)
  ("(var2 stable)" 0 52)
  ("(var2 down)" 52 54)
  ("(var2 stable)" 54 90)
  ("(var2 up)" 90 158)
  ("(var2 stable)" 158 294)
 )
)
(73
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 89)
  ("(var3 down)" 89 91)
  ("(var3 up)" 91 95)
  ("(var3 stable)" 95 338)
  ("(var4 stable)" 0 59)
  ("(var4 up)" 59 95)
  ("(var4 stable)" 95 338)
  ("(var1 stable)" 0 63)
  ("(var1 up)" 63 91)
  ("(var1 stable)" 91 338)
  ("(var2 stable)" 0 82)
  ("(var2 down)" 82 87)
  ("(var2 up)" 87 197)
  ("(var2 down)" 197 199)
  ("(var2 up)" 199 202)
  ("(var2 stable)" 202 338)
 )
)
(74
 (
  ("(var3 stable)" 0 91)
  ("(var3 up)" 91 123)
  ("(var3 stable)" 123 356)
  ("(var4 stable)" 0 93)
  ("(var4 up)" 93 95)
  ("(var4 stable)" 95 97)
  ("(var4 up)" 97 117)
  ("(var4 stable)" 117 356)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 114)
  ("(var1 stable)" 114 356)
  ("(var2 stable)" 0 110)
  ("(var2 down)" 110 112)
  ("(var2 up)" 112 244)
  ("(var2 down)" 244 248)
  ("(var2 stable)" 248 356)
 )
)
(75
 (
  ("(var3 stable)" 0 47)
  ("(var3 up)" 47 76)
  ("(var3 stable)" 76 304)
  ("(var4 stable)" 0 47)
  ("(var4 up)" 47 83)
  ("(var4 stable)" 83 304)
  ("(var1 stable)" 0 46)
  ("(var1 up)" 46 74)
  ("(var1 stable)" 74 304)
  ("(var2 stable)" 0 68)
  ("(var2 down)" 68 70)
  ("(var2 up)" 70 196)
  ("(var2 down)" 196 198)
  ("(var2 stable)" 198 304)
 )
)
(76
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 111)
  ("(var3 stable)" 111 335)
  ("(var4 stable)" 0 76)
  ("(var4 up)" 76 110)
  ("(var4 stable)" 110 335)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 110)
  ("(var1 stable)" 110 335)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 up)" 102 225)
  ("(var2 stable)" 225 335)
 )
)
(77
 (
  ("(var3 stable)" 0 73)
  ("(var3 up)" 73 106)
  ("(var3 stable)" 106 314)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 79)
  ("(var4 stable)" 79 81)
  ("(var4 up)" 81 106)
  ("(var4 stable)" 106 314)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 100)
  ("(var1 down)" 100 102)
  ("(var1 up)" 102 104)
  ("(var1 down)" 104 106)
  ("(var1 up)" 106 108)
  ("(var1 stable)" 108 314)
  ("(var2 stable)" 0 96)
  ("(var2 down)" 96 98)
  ("(var2 stable)" 98 129)
  ("(var2 up)" 129 215)
  ("(var2 stable)" 215 314)
 )
)
(78
 (
  ("(var3 stable)" 0 80)
  ("(var3 down)" 80 82)
  ("(var3 up)" 82 108)
  ("(var3 stable)" 108 352)
  ("(var4 stable)" 0 77)
  ("(var4 up)" 77 111)
  ("(var4 stable)" 111 352)
  ("(var1 stable)" 0 81)
  ("(var1 up)" 81 83)
  ("(var1 down)" 83 85)
  ("(var1 up)" 85 109)
  ("(var1 stable)" 109 352)
  ("(var2 stable)" 0 100)
  ("(var2 down)" 100 102)
  ("(var2 stable)" 102 135)
  ("(var2 up)" 135 222)
  ("(var2 down)" 222 225)
  ("(var2 stable)" 225 352)
 )
)
(79
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 63)
  ("(var3 stable)" 63 65)
  ("(var3 up)" 65 91)
  ("(var3 stable)" 91 313)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 91)
  ("(var4 stable)" 91 313)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 85)
  ("(var1 stable)" 85 313)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 84)
  ("(var2 up)" 84 205)
  ("(var2 stable)" 205 313)
 )
)
(80
 (
  ("(var3 stable)" 0 51)
  ("(var3 up)" 51 87)
  ("(var3 stable)" 87 339)
  ("(var4 stable)" 0 54)
  ("(var4 up)" 54 82)
  ("(var4 stable)" 82 339)
  ("(var1 stable)" 0 55)
  ("(var1 up)" 55 83)
  ("(var1 stable)" 83 339)
  ("(var2 stable)" 0 72)
  ("(var2 down)" 72 74)
  ("(var2 up)" 74 198)
  ("(var2 stable)" 198 339)
 )
)
(81
 (
  ("(var3 stable)" 0 68)
  ("(var3 up)" 68 100)
  ("(var3 stable)" 100 348)
  ("(var4 stable)" 0 69)
  ("(var4 up)" 69 95)
  ("(var4 stable)" 95 348)
  ("(var1 stable)" 0 72)
  ("(var1 up)" 72 95)
  ("(var1 stable)" 95 348)
  ("(var2 stable)" 0 89)
  ("(var2 down)" 89 91)
  ("(var2 stable)" 91 123)
  ("(var2 up)" 123 188)
  ("(var2 stable)" 188 190)
  ("(var2 up)" 190 221)
  ("(var2 down)" 221 223)
  ("(var2 up)" 223 227)
  ("(var2 stable)" 227 348)
 )
)
(82
 (
  ("(var3 stable)" 0 61)
  ("(var3 up)" 61 63)
  ("(var3 stable)" 63 68)
  ("(var3 up)" 68 98)
  ("(var3 stable)" 98 336)
  ("(var4 stable)" 0 63)
  ("(var4 down)" 63 65)
  ("(var4 up)" 65 98)
  ("(var4 stable)" 98 336)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 95)
  ("(var1 down)" 95 97)
  ("(var1 up)" 97 99)
  ("(var1 stable)" 99 336)
  ("(var2 stable)" 0 86)
  ("(var2 down)" 86 90)
  ("(var2 up)" 90 222)
  ("(var2 down)" 222 224)
  ("(var2 stable)" 224 334)
  ("(var2 down)" 334 336)
 )
)
(83
 (
  ("(var3 stable)" 0 35)
  ("(var3 up)" 35 70)
  ("(var3 down)" 70 72)
  ("(var3 stable)" 72 290)
  ("(var4 stable)" 0 43)
  ("(var4 up)" 43 70)
  ("(var4 stable)" 70 290)
  ("(var1 stable)" 0 44)
  ("(var1 up)" 44 67)
  ("(var1 stable)" 67 290)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 178)
  ("(var2 stable)" 178 290)
 )
)
(84
 (
  ("(var3 stable)" 0 43)
  ("(var3 up)" 43 69)
  ("(var3 stable)" 69 324)
  ("(var4 up)" 0 2)
  ("(var4 down)" 2 4)
  ("(var4 stable)" 4 40)
  ("(var4 up)" 40 67)
  ("(var4 stable)" 67 324)
  ("(var1 stable)" 0 40)
  ("(var1 up)" 40 43)
  ("(var1 down)" 43 45)
  ("(var1 up)" 45 68)
  ("(var1 stable)" 68 324)
  ("(var2 down)" 0 4)
  ("(var2 stable)" 4 58)
  ("(var2 down)" 58 62)
  ("(var2 up)" 62 205)
  ("(var2 stable)" 205 324)
 )
)
(85
 (
  ("(var3 stable)" 0 50)
  ("(var3 up)" 50 84)
  ("(var3 stable)" 84 296)
  ("(var4 stable)" 0 52)
  ("(var4 up)" 52 81)
  ("(var4 stable)" 81 296)
  ("(var1 stable)" 0 53)
  ("(var1 up)" 53 80)
  ("(var1 down)" 80 83)
  ("(var1 stable)" 83 296)
  ("(var2 stable)" 0 71)
  ("(var2 down)" 71 75)
  ("(var2 stable)" 75 111)
  ("(var2 up)" 111 184)
  ("(var2 stable)" 184 296)
 )
)
(86
 (
  ("(var3 stable)" 0 67)
  ("(var3 up)" 67 89)
  ("(var3 stable)" 89 91)
  ("(var3 up)" 91 93)
  ("(var3 stable)" 93 348)
  ("(var4 stable)" 0 67)
  ("(var4 up)" 67 91)
  ("(var4 stable)" 91 348)
  ("(var1 stable)" 0 66)
  ("(var1 up)" 66 95)
  ("(var1 stable)" 95 348)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 stable)" 87 127)
  ("(var2 up)" 127 220)
  ("(var2 stable)" 220 348)
 )
)
(87
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 100)
  ("(var3 stable)" 100 316)
  ("(var4 stable)" 0 63)
  ("(var4 up)" 63 92)
  ("(var4 stable)" 92 316)
  ("(var1 stable)" 0 62)
  ("(var1 up)" 62 65)
  ("(var1 stable)" 65 67)
  ("(var1 up)" 67 91)
  ("(var1 stable)" 91 316)
  ("(var2 stable)" 0 84)
  ("(var2 down)" 84 86)
  ("(var2 up)" 86 211)
  ("(var2 stable)" 211 316)
 )
)
(88
 (
  ("(var3 stable)" 0 62)
  ("(var3 up)" 62 91)
  ("(var3 stable)" 91 308)
  ("(var4 stable)" 0 60)
  ("(var4 up)" 60 84)
  ("(var4 stable)" 84 308)
  ("(var1 stable)" 0 65)
  ("(var1 up)" 65 87)
  ("(var1 stable)" 87 308)
  ("(var2 stable)" 0 80)
  ("(var2 down)" 80 82)
  ("(var2 up)" 82 193)
  ("(var2 down)" 193 196)
  ("(var2 up)" 196 202)
  ("(var2 down)" 202 204)
  ("(var2 up)" 204 209)
  ("(var2 stable)" 209 308)
 )
)
(89
 (
  ("(var3 stable)" 0 66)
  ("(var3 up)" 66 95)
  ("(var3 stable)" 95 98)
  ("(var3 up)" 98 100)
  ("(var3 stable)" 100 336)
  ("(var4 stable)" 0 64)
  ("(var4 up)" 64 94)
  ("(var4 stable)" 94 98)
  ("(var4 up)" 98 102)
  ("(var4 stable)" 102 336)
  ("(var1 stable)" 0 69)
  ("(var1 up)" 69 93)
  ("(var1 stable)" 93 336)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 stable)" 87 126)
  ("(var2 up)" 126 232)
  ("(var2 stable)" 232 336)
 )
)
(90
 (
  ("(var3 stable)" 0 39)
  ("(var3 up)" 39 80)
  ("(var3 stable)" 80 319)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 67)
  ("(var4 stable)" 67 319)
  ("(var1 down)" 0 3)
  ("(var1 stable)" 3 42)
  ("(var1 up)" 42 71)
  ("(var1 stable)" 71 319)
  ("(var2 stable)" 0 60)
  ("(var2 down)" 60 62)
  ("(var2 up)" 62 203)
  ("(var2 down)" 203 205)
  ("(var2 up)" 205 207)
  ("(var2 stable)" 207 319)
 )
)
(91
 (
  ("(var3 stable)" 0 45)
  ("(var3 up)" 45 91)
  ("(var3 stable)" 91 337)
  ("(var4 stable)" 0 55)
  ("(var4 up)" 55 88)
  ("(var4 stable)" 88 337)
  ("(var1 stable)" 0 47)
  ("(var1 up)" 47 84)
  ("(var1 stable)" 84 337)
  ("(var2 stable)" 0 77)
  ("(var2 down)" 77 79)
  ("(var2 stable)" 79 120)
  ("(var2 up)" 120 208)
  ("(var2 stable)" 208 337)
 )
)
(92
 (
  ("(var3 stable)" 0 63)
  ("(var3 up)" 63 90)
  ("(var3 down)" 90 92)
  ("(var3 stable)" 92 326)
  ("(var4 stable)" 0 62)
  ("(var4 up)" 62 64)
  ("(var4 stable)" 64 67)
  ("(var4 up)" 67 98)
  ("(var4 stable)" 98 326)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 66)
  ("(var1 stable)" 66 71)
  ("(var1 up)" 71 95)
  ("(var1 stable)" 95 326)
  ("(var2 stable)" 0 85)
  ("(var2 down)" 85 87)
  ("(var2 up)" 87 183)
  ("(var2 down)" 183 185)
  ("(var2 up)" 185 221)
  ("(var2 stable)" 221 326)
 )
)
(93
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 114)
  ("(var3 stable)" 114 346)
  ("(var4 stable)" 0 88)
  ("(var4 up)" 88 115)
  ("(var4 stable)" 115 346)
  ("(var1 stable)" 0 83)
  ("(var1 up)" 83 85)
  ("(var1 stable)" 85 87)
  ("(var1 up)" 87 113)
  ("(var1 down)" 113 116)
  ("(var1 stable)" 116 346)
  ("(var2 stable)" 0 106)
  ("(var2 down)" 106 108)
  ("(var2 stable)" 108 142)
  ("(var2 up)" 142 238)
  ("(var2 stable)" 238 346)
 )
)
(94
 (
  ("(var3 stable)" 0 85)
  ("(var3 up)" 85 108)
  ("(var3 stable)" 108 339)
  ("(var4 stable)" 0 80)
  ("(var4 up)" 80 107)
  ("(var4 stable)" 107 339)
  ("(var1 stable)" 0 80)
  ("(var1 up)" 80 108)
  ("(var1 stable)" 108 339)
  ("(var2 stable)" 0 99)
  ("(var2 down)" 99 101)
  ("(var2 up)" 101 240)
  ("(var2 stable)" 240 339)
 )
)
(95
 (
  ("(var3 stable)" 0 55)
  ("(var3 up)" 55 84)
  ("(var3 stable)" 84 311)
  ("(var4 stable)" 0 58)
  ("(var4 up)" 58 85)
  ("(var4 stable)" 85 311)
  ("(var1 stable)" 0 64)
  ("(var1 up)" 64 80)
  ("(var1 stable)" 80 311)
  ("(var2 stable)" 0 77)
  ("(var2 up)" 77 206)
  ("(var2 down)" 206 208)
  ("(var2 up)" 208 210)
  ("(var2 stable)" 210 311)
 )
)
(96
 (
  ("(var3 stable)" 0 99)
  ("(var3 up)" 99 125)
  ("(var3 stable)" 125 373)
  ("(var4 stable)" 0 95)
  ("(var4 up)" 95 97)
  ("(var4 stable)" 97 99)
  ("(var4 up)" 99 130)
  ("(var4 stable)" 130 373)
  ("(var1 stable)" 0 101)
  ("(var1 up)" 101 123)
  ("(var1 stable)" 123 373)
  ("(var2 stable)" 0 117)
  ("(var2 down)" 117 119)
  ("(var2 stable)" 119 160)
  ("(var2 up)" 160 267)
  ("(var2 stable)" 267 373)
 )
)
(97
 (
  ("(var3 stable)" 0 88)
  ("(var3 up)" 88 117)
  ("(var3 stable)" 117 336)
  ("(var4 stable)" 0 91)
  ("(var4 up)" 91 112)
  ("(var4 stable)" 112 336)
  ("(var1 stable)" 0 87)
  ("(var1 up)" 87 112)
  ("(var1 stable)" 112 336)
  ("(var2 stable)" 0 105)
  ("(var2 down)" 105 107)
  ("(var2 up)" 107 230)
  ("(var2 stable)" 230 336)
 )
)
(98
 (
  ("(var3 stable)" 0 81)
  ("(var3 up)" 81 111)
  ("(var3 stable)" 111 321)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 107)
  ("(var4 stable)" 107 321)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 104)
  ("(var1 stable)" 104 321)
  ("(var2 stable)" 0 101)
  ("(var2 down)" 101 103)
  ("(var2 up)" 103 198)
  ("(var2 stable)" 198 321)
 )
)
(99
 (
  ("(var3 stable)" 0 32)
  ("(var3 up)" 32 34)
  ("(var3 stable)" 34 36)
  ("(var3 up)" 36 75)
  ("(var3 stable)" 75 331)
  ("(var4 stable)" 0 42)
  ("(var4 up)" 42 83)
  ("(var4 stable)" 83 331)
  ("(var1 stable)" 0 44)
  ("(var1 down)" 44 46)
  ("(var1 up)" 46 78)
  ("(var1 stable)" 78 331)
  ("(var2 stable)" 0 66)
  ("(var2 down)" 66 68)
  ("(var2 up)" 68 121)
  ("(var2 down)" 121 123)
  ("(var2 up)" 123 173)
  ("(var2 down)" 173 175)
  ("(var2 up)" 175 209)
  ("(var2 stable)" 209 331)
 )
)
(100
 (
  ("(var3 stable)" 0 87)
  ("(var3 up)" 87 126)
  ("(var3 stable)" 126 355)
  ("(var4 stable)" 0 87)
  ("(var4 up)" 87 121)
  ("(var4 stable)" 121 355)
  ("(var1 stable)" 0 88)
  ("(var1 up)" 88 111)
  ("(var1 stable)" 111 113)
  ("(var1 up)" 113 115)
  ("(var1 stable)" 115 355)
  ("(var2 stable)" 0 109)
  ("(var2 down)" 109 111)
  ("(var2 up)" 111 234)
  ("(var2 stable)" 234 355)
 )
)
